41. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده : Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
42. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
2001
43. Functional programming, Glasgow 1992
پدیدآورنده : John Launchbury and Patrick Sansom, eds.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Functional programming )Computer science( -- Congresses
رده :
QA
76
.
62
.
G58
1992
44. Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده : Peter E. Lauer, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Functional programming )Computer science(,Congresses ، Parallel programming )Computer science(,Congresses ، Automatic theorem proving,Congresses ، Computer simulation
رده :
QA
76
.
L28
Vol
.
693
45. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
46. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
47. The beauty of functional code :
پدیدآورنده : Peter Achten, Pieter Koopman (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
48. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
49. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
50. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
51. Trends in Functional Programming
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Functional programming (Computer science) -- Congresses,Functional programming (Computer science) ,برنامه‌نویسی تابعی (کامپیوتر) -- کنگره‌ها,برنامه‌نویسی تابعی (کامپیوتر)
رده :
E-Book
,
52. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
53. Trends in functional programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ;
54. Trends in functional programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ;
55. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
56. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
57. Trends in functional programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ;
58. Trends in functional programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ;
59. Trends in functional programming.
پدیدآورنده : edited by Henrik Nilsson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science), Congresses.
رده :
QA76
.
62
T74
2007eb
60. Trends in functional programming.
پدیدآورنده : edited by Hans-Wolfgang Loidl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
